Browsing by Subject "Cryptographic protocols"

Now showing items 1-1 of 1

    • Conference Object  

      Opacity-enforcing supervisory strategies for secure discrete event systems 

      Saboori, A.; Hadjicostis, Christoforos N. (2008)
      Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Specifically, a system is initial-state opaque if the ...